类型推断：在编译或解释过程中，由编程语言的编译器/解释器根据表达式、变量用法与上下文，自动推导变量、函数返回值等的类型，从而减少或免除显式类型标注（type annotation）。常见于静态类型语言（如 Haskell、Rust、Scala 等），也可能出现在带有类型提示的语言工具链中。
/taɪp ˈɪnfərəns/
Type inference can often figure out the variable’s type automatically.
类型推断通常可以自动判断变量的类型。
In languages with strong static typing, type inference improves readability while still catching many errors at compile time.
在强静态类型语言中，类型推断既能提升代码可读性，又能在编译期捕获许多错误。
type 源自希腊语 typos（印记、模子、范型），经拉丁语与法语进入英语，常引申为“类别/类型”。inference 源自拉丁语 inferre（带入、引出、推论），在英语中表示“由证据或已知信息推导结论”。合起来，type inference 字面即“对类型进行推导”。
Select Language